.toc.tochidden,
.toctoggle {
	display: none;
}
